Retroductive reasoning